Types for Proofs and Programs TYPES 2007, Marino M... Paperback Published 26 May 2008 Save $7.76 RRP $61.06 $53.30 In Stock